Eléments de l'association
|
List of bibliographic references
Number of relevant bibliographic references: 2.Ident. | Authors (with country if any) | Title |
---|---|---|
00B397 | Hélène Kirchner [France] ; Peter D. Mosses [États-Unis, Danemark] | Algebraic Specifications, Higher-Order Types and Set-Theoretic Models |
00E343 | Claude Kirchner [France] ; Hélène Kirchner [France] ; José Meseguer [États-Unis] | Operational semantics of OBJ-3 |
This area was generated with Dilib version V0.6.33. |